A Constraint-based Modeling of Calendars
نویسنده
چکیده
Temporal information in the real world is often presented in an incomplete fashion. In this paper we propose a constraint-based calendar system suitable for inferring implicit calendric information. Our approach views calendars as constraint satisfaction problems, and time points are represented as instantiations of temporal units. We also present a semantic model for the system to justify the imposed design requirements, and describe selected services provided by such systems.
منابع مشابه
Calendars as types: data modeling, constraint reasoning, and type checking with calendars
This thesis investigates real-life calendars, calendar and time expressions, and time and date formats. The thesis aims at the development of computer-based tools for modeling and processing such calendric data, primarily in the “World Wide Web”, in particular regarding today’s internationalization efforts and the vision of the “Semantic Web”. Applications are not only appointment scheduling pr...
متن کاملTime Units and Calendars
We are investigating a formal representation of time units and calendars, as restricted temporal entities for reasoning about activities. We examine characteristics of time units, and provide a categorization of the hierarchical relations among them. Hence we define an abstract hierarchical unit structure (a calendar structure) that expresses specific relations and properties among the units th...
متن کاملModeling and solving multi-skilled resource-constrained project scheduling problem with calendars in fuzzy condition
In this study, we aim to present a new model for the resource-constrained project scheduling problem (RCPSP) considering a working calendar for project members and determined the skill factor of any member using the efficiency concept. For this purpose, the recyclable resources are staff resources where any person with multiple skills can meet the required skills of activities in a given time. ...
متن کاملA Type Language for Calendars
Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools. CaTTS is a type language for calendar definitions using which one can model and process temporal and calendric data. CaTTS is based on a “theory reasoning” approach for efficiency reasons. This article addresse...
متن کاملPersian and Arabic Calendars as Presented by Anania Shirkatsi
Here is an attempt to present the ideas concerning the Medieval Persian and Arabic calendars as offered in the works of the 7th century A.D. Armenian scientist Anania Shirakatsi. The calendars of Christian Persians and Arabs, as explained in Anania’s work, are of the Julian type, with 365.25 days per year. By Persian and Arabic Calendars, he means variants of the Julian calendar used by groups ...
متن کامل